Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·8h·
Discuss: DEV
🌐Network Protocols
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·5h·
Discuss: Hacker News
🧩WASM Modules
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Can You Patch a Protobuf File? Not Really—and Here’s Why
hackernoon.com·7h
📋Protocol Buffers
Keystroke Forensics 101: Extracting Secrets from USB Traffic
infosecwriteups.com·6h
🔍NTLM Forensics
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects
Building a Language Server
bullno1.com·1d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
The Guide to the Foundation Models Framework
azamsharp.com·55m·
Discuss: Hacker News
λLambda Formalization
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·1d·
Discuss: r/golang
⬆️Lambda Lifting
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Serialization from Node.js
adamfaulkner.github.io·1d·
Discuss: Hacker News
🔢Binary Formats
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
🌐Protocol Synthesis